From d9cf42324419ac188fdeaa03c799c482120a5da9 Mon Sep 17 00:00:00 2001 From: "djm@kirby.fc.hp.com" Date: Wed, 21 Sep 2005 15:13:16 -0600 Subject: [PATCH] Minor change also needed in vcpu.c for guests to own ar.kr's. --- xen/arch/ia64/xen/vcpu.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c index 5e2a92d5ac..dcce55759e 100644 --- a/xen/arch/ia64/xen/vcpu.c +++ b/xen/arch/ia64/xen/vcpu.c @@ -134,7 +134,10 @@ IA64FAULT vcpu_set_ar(VCPU *vcpu, UINT64 reg, UINT64 val) else if (reg == 24) printf("warning: setting ar.eflg is a no-op; no IA-32 support\n"); else if (reg > 7) return (IA64_ILLOP_FAULT); - else PSCB(vcpu,krs[reg]) = val; + else { + PSCB(vcpu,krs[reg]) = val; + ia64_set_kr(reg,val); + } return IA64_NO_FAULT; } -- 2.30.2